Robert K. Brayton: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Limited War Revisited

Brayton, Abbott A., Osgood, Robert E.

Journal:

American Political Science Review

Year:

1980

Language:

english

File:

PDF, 212 KB

english, 1980

2

Some results on sparse matrices

Brayton, Robert K., Gustavson, Fred G., Willoughby, Ralph A.

Journal:

Mathematics of Computation

Year:

1970

Language:

english

File:

PDF, 1.91 MB

english, 1970

3

Nonlinear oscillations in a distributed network

Brayton, Robert K.

Journal:

Quarterly of Applied Mathematics

Year:

1967

Language:

english

File:

PDF, 1013 KB

english, 1967

4

Pharmacokinetics, microscale distribution, and dosimetry of alpha-emitter-labeled anti-PD-L1 antibodies in an immune competent transgenic breast cancer model

Nedrow, Jessie R., Josefsson, Anders, Park, Sunju, Bäck, Tom, Hobbs, Robert F., Brayton, Cory, Bruchertseifer, Frank, Morgenstern, Alfred, Sgouros, George

Journal:

EJNMMI Research

Year:

2017

Language:

english

File:

PDF, 2.59 MB

english, 2017

5

Model-checking continuous-time Markov chains

Aziz, Adnan, Sanwal, Kumud, Singhal, Vigyan, Brayton, Robert

Journal:

ACM Transactions on Computational Logic

Year:

2000

Language:

english

File:

PDF, 94 KB

english, 2000

6

Effect of Alcohol and Various Diseases on Leukocyte Mobilization, Phagocytosis and Intracellular Bacterial Killing

Brayton, Robert G., Stokes, Peter E., Schwartz, Melvin S., Louria, Donald B.

Journal:

Boston Medical and Surgical Journal

Year:

1970

Language:

english

File:

PDF, 979 KB

english, 1970

7

Component-Based Design by Solving Language Equations

Villa, Tiziano, Petrenko, Alexandre, Yevtushenko, Nina, Mishchenko, Alan, Brayton, Robert

Journal:

Proceedings of the IEEE

Year:

2015

Language:

english

File:

PDF, 378 KB

english, 2015

8

[IEEE 2015 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2015.9.27-2015.9.30)] 2015 Formal Methods in Computer-Aided Design (FMCAD) - Simulation graphs for reverse engineering

Soeken, Mathias, Sterin, Baruch, Drechsler, Rolf, Brayton, Robert

Year:

2015

Language:

english

File:

PDF, 1.27 MB

english, 2015

9

[IEEE 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC) - Jeju (2018.1.22-2018.1.25)] 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC) - SAT-based area recovery in structural technology mapping

Schmitt, Bruno, Mishchenko, Alan, Brayton, Robert

Year:

2018

Language:

english

File:

PDF, 676 KB

english, 2018

10

177Lu-labeled low-molecular-weight agents for PSMA-targeted radiopharmaceutical therapy

Banerjee, Sangeeta Ray, Kumar, Vivek, Lisok, Ala, Chen, Jian, Minn, Il, Brummet, Mary, Boinapally, Srikanth, Cole, Michael, Ngen, Ethel, Wharram, Bryan, Brayton, Cory, Hobbs, Robert F., Pomper, Martin

Journal:

European Journal of Nuclear Medicine and Molecular Imaging

Year:

2019

Language:

english

File:

PDF, 1.54 MB

english, 2019

11

What's Happened to the Phillips Curve?

Brayton, Flint, Roberts, John M., Williams, John C. C.

Journal:

SSRN Electronic Journal

Year:

2000

File:

PDF, 161 KB

2000

12

On the asymptotic behavior of the number of trials necessary to complete a set with random selection

Robert King Brayton

Journal:

Journal of Mathematical Analysis and Applications

Year:

1963

Language:

english

File:

PDF, 1018 KB

english, 1963

13

Integration of retiming with architectural floorplanning

Abdallah Tabbara, Bassam Tabbara, Robert K. Brayton, A.Richard Newton

Journal:

Integration, the VLSI Journal

Year:

2000

Language:

english

File:

PDF, 265 KB

english, 2000

14

Cytotoxic T lymphocytes recognize determinants on the BALB/c-H-2Ldmolecule controlled byα1 andα2 but notα3 external domains

Iwona Stroynowski, Anders Orn, Robert S. Goodenow, Minnie McMillan, James Forman, Peter R. Brayton, Jeffrey Frelingers, Leroy Hood

Journal:

Year:

1984

Language:

english

File:

PDF, 1.06 MB

english, 1984

15

Editorial

Robert K. Brayton, Edmund M. Clarke, P. A. Subrahmanyam

Journal:

Formal Methods in System Design

Year:

1993

Language:

english

File:

PDF, 41 KB

english, 1993

16

An environment for formal verification based on symbolic computations

Ramin Hojati, Robert K. Brayton

Journal:

Formal Methods in System Design

Year:

1995

Language:

english

File:

PDF, 1.61 MB

english, 1995

17

Specification, synthesis, and verification of hazard-free asynchronous circuits

Cho W. Moon, Paul R. Stephan, Robert K. Brayton

Journal:

Journal of Signal Processing Systems

Year:

1994

Language:

english

File:

PDF, 1.18 MB

english, 1994

18

Compositionally Progressive Solutions of Synchronous FSM Equations

Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alex Petrenko, Alberto L. Sangiovanni-Vincentelli

Journal:

Discrete Event Dynamic Systems

Year:

2008

Language:

english

File:

PDF, 1.28 MB

english, 2008

19

Performance planning

Ralph H.J.M. Otten, Robert K. Brayton

Journal:

Integration, the VLSI Journal

Year:

2000

Language:

english

File:

PDF, 329 KB

english, 2000

20

A Substance in Blood Lethal for Candida albicans

LOURIA, DONALD B., BRAYTON, ROBERT G.

Journal:

Year:

1964

File:

PDF, 137 KB

1964

21

Product of a transferred H–2Ld gene acts as restriction element for LCMV-specific killer T cells

Örn, Anders, Goodenow, Robert S., Hood, Leroy, Brayton, Peter R., Woodward, Jerold G., Harmon, Richard C., Frelinger, Jeffrey A.

Journal:

Year:

1982

File:

PDF, 373 KB

1982

22

Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks

Stefano Quer, Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Ellen M. Sentovich, Robert K. Brayton

Journal:

Formal Methods in System Design

Year:

2000

Language:

english

File:

PDF, 170 KB

english, 2000

23

Formula-Dependent Equivalence for Compositional CTL Model Checking

Adnan Aziz, Thomas Shiple, Vigyan Singhal, Robert Brayton, Alberto Sangiovanni-Vincentelli

Journal:

Formal Methods in System Design

Year:

2002

Language:

english

File:

PDF, 226 KB

english, 2002

24

[ACM Press the 35th annual conference - San Francisco, California, United States (1998.06.15-1998.06.19)] Proceedings of the 35th annual conference on Design automation conference - DAC '98 - Delay-optimal technology mapping by DAG covering

Kukimoto, Yuji, Brayton, Robert K., Sawkar, Prashant

Year:

1998

Language:

english

File:

PDF, 97 KB

english, 1998

25

Succinate dehydrogenase gene arrangement and expression in Anaplasma phagocytophilum

Robert F. Massung, Shannon L. Hiratzka, Kelly A. Brayton, Guy H. Palmer, Kemba N. Lee

Journal:

Year:

2008

Language:

english

File:

PDF, 869 KB

english, 2008

26

Reducing Structural Bias in Technology Mapping

Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Xinning Wang, Timothy Kam

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2006

Language:

english

File:

PDF, 405 KB

english, 2006

27

Retiming and Resynthesis: A Complexity Perspective

Jie-Hong R. Jiang, Robert K. Brayton

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2006

Language:

english

File:

PDF, 274 KB

english, 2006

28

Computer simulation of a dendrodendritic synaptic circuit for self- and lateral-inhibition in the olfactory bulb

Gordon M. Shepherd, Robert K. Brayton

Journal:

Year:

1979

Language:

english

File:

PDF, 354 KB

english, 1979

29

NSF Workshop on EDA: Past, Present, and Future (Part 2)

Brayton, Robert, Cong, Jason

Journal:

IEEE Design & Test of Computers

Year:

2010

Language:

english

File:

PDF, 439 KB

english, 2010

30

NSF Workshop on EDA: Past, Present, and Future (Part 1)

Brayton, Robert, Cong, Jason

Journal:

IEEE Design & Test of Computers

Year:

2010

Language:

english

File:

PDF, 141 KB

english, 2010

31

[ACM Press the 36th ACM/IEEE conference - New Orleans, Louisiana, United States (1999.06.21-1999.06.25)] Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 - A novel VLSI layout fabric for deep sub-micron applications

Khatri, Sunil P., Mehrotra, Amit, Brayton, Robert K., Otten, Ralf H. J. M., Sangiovanni-Vincentelli, Alberto

Year:

1999

Language:

english

File:

PDF, 118 KB

english, 1999

32

Cigarette smoke induces epithelial to mesenchymal transition and increases the metastatic ability of breast cancer cells

Di Cello, Francescopaolo, Flowers, V, Li, Huili, Vecchio-Pagán, Briana, Gordon, Brent, Harbom, Kirsten, Shin, James, Beaty, Robert, Wang, Wei, Brayton, Cory, Baylin, Stephen B, Zahnow, Cynthia A

Journal:

Molecular Cancer

Year:

2013

Language:

english

File:

PDF, 1.15 MB

english, 2013

33

[ACM Press the 31st annual conference - San Diego, California, United States (1994.06.06-1994.06.10)] Proceedings of the 31st annual conference on Design automation conference - DAC '94 - BDD variable ordering for interacting finite state machines

Aziz, Adnan, Taşiran, Serdar, Brayton, Robert K.

Year:

1994

Language:

english

File:

PDF, 128 KB

english, 1994

34

Logic operations are properties of computer-simulated interactions between excitable dendritic spines

Shepherd, Gordon M., Brayton, Robert K.

Journal:

Year:

1987

Language:

english

File:

PDF, 1.38 MB

english, 1987

35

Tree Design: Some Biological Solutions to Mechanical Problems

Brayton F. Wilson and Robert R. Archer

Journal:

Year:

1979

Language:

english

File:

PDF, 1.30 MB

english, 1979

36

Field Measurements of the Metabolic Responses of Bristlecone Pine and Big Sagebrush in the White Mountains of California

H. A. Mooney, Marda West and Robert Brayton

Journal:

Botanical Gazette

Year:

1966

Language:

english

File:

PDF, 1.60 MB

english, 1966

37

[IEEE 2008 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR, USA (2008.11.17-2008.11.20)] 2008 Formal Methods in Computer-Aided Design - Invariant-Strengthened Elimination of Dependent State Elements

Case, Michael L., Mishchenko, Alan, Brayton, Robert K., Baumgartner, Jason, Mony, Hari

Year:

2008

Language:

english

File:

PDF, 370 KB

english, 2008

38

[IEEE 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2011.11.7-2011.11.10)] 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Delay optimization using SOP balancing

Mishchenko, Alan, Brayton, Robert, Jang, Stephen, Kravets, Victor

Year:

2011

Language:

english

File:

PDF, 484 KB

english, 2011

39

[IEEE 2007 Asia and South Pacific Design Automation Conference - Yokohama, Japan (2007.01.23-2007.01.26)] 2007 Asia and South Pacific Design Automation Conference - Automating Logic Rectification by Approximate SPFDs

Yang, Yu-Shen, Sinha, Subarna, Veneris, Andreas, Brayton, Robert K.

Year:

2007

Language:

english

File:

PDF, 196 KB

english, 2007

40

[IEEE 2007 IEEE/ACM International Conference on Computer-Aided Design - San Jose, CA, USA (2007.11.4-2007.11.8)] 2007 IEEE/ACM International Conference on Computer-Aided Design - Combinational and sequential mapping with priority cuts

Mishchenko, Alan, Sungmin Cho,, Satrajit Chatterjee,, Brayton, Robert

Year:

2007

Language:

english

File:

PDF, 737 KB

english, 2007

41

[IEEE 2006 IEEE/ACM International Conference on Computer Aided Design - Double Tree Hotel, San Jose, CA,USA (2006.11.5-2006.11.9)] 2006 IEEE/ACM International Conference on Computer Aided Design - Factor Cuts

Chatterjee, Satrajit, Mishchenko, Alan, Brayton, Robert

Year:

2006

Language:

english

File:

PDF, 9.07 MB

english, 2006

42

[IEEE 2007 IEEE/ACM International Conference on Computer-Aided Design - San Jose, CA, USA (2007.11.4-2007.11.8)] 2007 IEEE/ACM International Conference on Computer-Aided Design - A simultaneous bus orientation and bused pin flipping algorithm

Fan Mo,, Brayton, Robert K.

Year:

2007

Language:

english

File:

PDF, 513 KB

english, 2007

43

[IEEE 2008 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2008.11.10-2008.11.13)] 2008 IEEE/ACM International Conference on Computer-Aided Design - Placement based multiplier rewiring for cell-based designs

Mo, Fan, Brayton, Robert K.

Year:

2008

Language:

english

File:

PDF, 228 KB

english, 2008

44

[IEEE 2008 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2008.11.10-2008.11.13)] 2008 IEEE/ACM International Conference on Computer-Aided Design - Scalable and scalably-verifiable sequential synthesis

Mishchenko, Alan, Case, Michael, Brayton, Robert, Jang, Stephen

Year:

2008

Language:

english

File:

PDF, 322 KB

english, 2008

45

[IEEE Conference Publications Design Automation and Test in Europe - Grenoble, France (2013.03.18-2013.03.22)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 - GLA: Gate-Level Abstraction Revisited

Mishchenko, Alan, Een, Niklas, Brayton, Robert, Baumgartner, Jason, Mony, Hari, Nalla, Pradeep

Year:

2013

Language:

english

File:

PDF, 206 KB

english, 2013

46

[IEEE 2006 IEEE/ACM International Conference on Computer Aided Design - Double Tree Hotel, San Jose, CA,USA (2006.11.5-2006.11.9)] 2006 IEEE/ACM International Conference on Computer Aided Design - Improvements to Combinational Equivalence Checking

Mishchenko, Alan, Chatterjee, Satrajit, Brayton, Robert, Een, Niklas

Year:

2006

Language:

english

File:

PDF, 10.22 MB

english, 2006

47

A comparison of cambial activity of white spruce in Alaska and New England

Gregory, Robert A., Wilson, Brayton F.

Journal:

Canadian Journal of Botany

Year:

1968

Language:

english

File:

PDF, 122 KB

english, 1968

48

Apical control of branch movements and tension wood in black cherry and white ash trees

Wilson, Brayton F., Archer, Robert R.

Journal:

Canadian Journal of Forest Research

Year:

1983

File:

PDF, 148 KB

1983

49

[IEEE 1981 20th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes - San Diego, CA, USA (1981.12.16-1981.12.18)] 1981 20th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes - Constructive stability of dynamical systems

Brayton, Robert, Tong, C.

Year:

1981

Language:

english

File:

PDF, 57 KB

english, 1981

50

Sequential Equivalence Checking for Clock-Gated Circuits

Savoj, Hamid, Mishchenko, Alan, Brayton, Robert

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2014

Language:

english

File:

PDF, 10.41 MB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски